Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
531	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:06 Fourier analysis Algebraic numbers Digital signal processing Discrete cosine transform Graphics file formats Computer file formats JPEG Quantization Root of unity Mathematical analysis Numbers Mathematics
532	Microsoft Word - LettertoDfE1stofApril.doc Add to Reading List Source URL: www.philsoc.org.uk Language: English - Date: 2015-04-07 11:14:45 Multilingualism General Certificate of Secondary Education Oxford Cambridge and RSA Examinations Official bilingualism in Canada Bilingualism: Language and Cognition English as a foreign or second language Free-standing Mathematics Qualifications Education Language acquisition Bilingualism
533	Microsoft Word - STOCK-logo.doc Add to Reading List Source URL: nrcgtuva.org Language: English - Date: 2010-08-04 09:21:35 Knowledge Science Educational psychology Problem solving Skill Finance Mathematics Logic Decision making Neuropsychological assessment Decision theory Clinical psychology
534	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-09 20:33:37 Mathematical logic Algorithm Theoretical computer science Dynamic programming Function Escher Mathematics Applied mathematics Functions and mappings
535	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-06-06 20:41:57 Mathematical analysis Function Constraint logic programming Unification Exponentiation Derivative Mathematics Logic programming Functions and mappings
536	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
537	Microsoft Word - programming1.docx Add to Reading List Source URL: www.plattecanyon.com Language: English - Date: 2009-06-09 13:08:12 Scripting languages Variables Elementary mathematics Cross-platform software Global variable C++ classes JavaScript Static single assignment form Field Mathematics Computing Software engineering
538	Microsoft Word - ijita12-1.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Predicate logic Semantics Formal languages Functions and mappings Model theory Predicate Function FO Mereology Logic Mathematical logic Mathematics
539	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
540	Microsoft Word - Dušan Teodorović.doc Add to Reading List Source URL: www.konus.ac.rs Language: English - Date: 2014-09-30 04:27:02 Ant colony optimization algorithms Stochastic optimization Bees algorithm Fuzzy logic Logic Applied mathematics Artificial intelligence Mathematics Logic in computer science

UPDATE